5

Decidability of ∀*∀-Sentences in Membership Theories

Year:
1996
Language:
english
File:
PDF, 1007 KB
english, 1996
16

Expressing Infinity without Foundation

Year:
1991
Language:
english
File:
PDF, 435 KB
english, 1991
17

Truth In V for ∃*∀∀-Sentences is Decidable

Year:
2006
Language:
english
File:
PDF, 1.47 MB
english, 2006
20

Sintesi della Costituzione adottata dal consiglio europeo di Bruxelles del 17-18 giugno 2004

Year:
2004
Language:
italian
File:
PDF, 1.45 MB
italian, 2004
23

The logically simplest form of the infinity axiom

Year:
1988
Language:
english
File:
PDF, 409 KB
english, 1988
32

A NOTE ON THE SEQUENT CALCULI

Year:
2020
File:
PDF, 706 KB
2020